181. Verification of object-oriented software
پدیدآورنده: / Bernhard Beckert, Reiner Heahnle, Peter H. Schmitt (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Verification,Object-oriented methods (Computer science),Java (Computer program language)
رده :
QA
,
76
.
76
,.
V47
,
V474
,
2007
182. Verification of object-oriented software : the KeY approach
پدیدآورنده: Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt )eds.(; foreword by K. Rustan M. Leino
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software -- Verification,، Object-oriented methods )Computer science(,، Java )Computer program language(
رده :
QA
76
.
L28
Vol
.
4334
183. Verification of sequental and concurrent programs
پدیدآورنده: / Krzysztof R. Apt, Ernest - Rudiger olderog
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer software - - Verification
رده :
QA
76
.
76
.
V47A67
1991
184. Verification of sequential and concurrent programs
پدیدآورنده: Apt, Krzysztof R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Verification
رده :
QA
76
.
76
.
V47
.
A67
1997
185. Verification of sequential and concurrent programs
پدیدآورنده: Apt, Krzysztof R., 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software -- Verification
رده :
QA
76
.
76
.
V47A75
186. Verification of sequential and concurrent programs
پدیدآورنده: / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog.
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer software--Verification.
رده :
QA
76
.
76
.
V47A67
2009
187. Verification of sequential and concurrent programs
پدیدآورنده: / Krzysztof R. Apt, Ernst-Rudiger Olderog
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer software -- Verification
رده :
QA
76
.
76
.
V47A67
1997
188. Verification of sequential and concurrent programs
پدیدآورنده: / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Computer software, Verification
رده :
QA76
.
76
.
V47A67
189. Verification of sequential and concurrent programs
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Verification. ;
190. Verification of sequential and concurrent programs
پدیدآورنده: / Krzysztof R. Apt, Frank S. de Boer, Ernst-Reudiger Olderog
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Verification
رده :
QA
,
76
.
76
,.
V47
,
A67
,
2009
191. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده: Yoeli, Michael
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Verification ، Integrated circuits,Verification ، Computer software,، LOTOS )Computer program language(,، Petri nets
رده :
TK
7874
.
58
.
Y64
2008
192. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده: / by Michael Yoeli and Rakefet Kol
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Integrated circuits- Verification,Computer software- Verification,LOTOS (Computer program language),Petri nets
رده :
TK7874
.
58
.
Y64
2008
193. Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
پدیدآورنده: Nachum Dershowitz )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
2772
194. Verification, validation and testing in software engineerin
پدیدآورنده: / Aristides Dasso, Ana Funes [editors]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Validation,Computer software--Verification,Computer software--Testing
رده :
QA
,
76
.
76
,.
V47
,
V488
,
2007
195. Verification, validation and testing in software engineering
پدیدآورنده: Aristides Dasso, Ana Funes ]editors[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Validation ، Computer software,Verification ، Computer software,Testing ، Computer software
رده :
QA
76
.
76
.
V47
V488
2007
196. Verification, validation and testing in software engineering
پدیدآورنده: Aristides Dasso, Ana Funes [editors]
کتابخانه: کتابخانه دانشکده کارآفرینی دانشگاه تهران (تهران)
موضوع: Computer software -- Validation,Computer software -- Verification,Computer software -- Testing
رده :
QA
76
.
76
.
V47
V48
2007
197. Verification, validation and testing in software engineering
پدیدآورنده: Aristides Dasso, Ana Funes ]editors[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Validation ، Computer software,Verification ، Computer software,Testing ، Computer software
رده :
QA
76
.
76
.
V47
198. Verified software :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Verification ; Congresses. ;
199. Verified software :
پدیدآورنده: Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
200. Verified software
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programs ; Verification ; Congresses. ; Software. ; swd. ; Verifikation. ; swd. ; Programmtest. ; swd. ; Programmanalyse. ; swd. ; Programmverifikation. ; swd. ; Formale Methode. ; swd. ;
